In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation. Wreath products are used in the classification of permutation groups and also provide a way of constructing interesting examples of groups.

Given two groups ${\displaystyle A}$ and ${\displaystyle H}$ (sometimes known as the bottom and top), there exist two variations of the wreath product: the unrestricted wreath product ${\displaystyle A{\text{ Wr }}H}$ and the restricted wreath product ${\displaystyle A{\text{ wr }}H}$. The general form, denoted by ${\displaystyle A{\text{ Wr}}_{\Omega }H}$ or ${\displaystyle A{\text{ wr}}_{\Omega }H}$ respectively, requires that ${\displaystyle H}$ acts on some set ${\displaystyle \Omega }$; when unspecified, usually ${\displaystyle \Omega =H}$ (a regular wreath product), though a different ${\displaystyle \Omega }$ is sometimes implied. The two variations coincide when ${\displaystyle A}$, ${\displaystyle H}$, and ${\displaystyle \Omega }$ are all finite. Either variation is also denoted as ${\displaystyle A\wr H}$ (with \wr for the LaTeX symbol) or A ≀ H (Unicode U+2240).

The notion generalizes to semigroups and is a central construction in the Krohn–Rhodes structure theory of finite semigroups.